Can go up or down in abstraction.